🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·10h
💻Programming languages
Issue 481
haskellweekly.news·2h
🔗Functional Compilers
C++ Trailing Return Types (2022)
danielsieger.com·5h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Kiro and the future of AI spec-driven software development
kiro.dev·1d·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·1d
🎯Gradual Typing
LLMs Are Bad at Being Forced
morphllm.com·2h·
Discuss: Hacker News
💻Local LLMs
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·1d
🔧RISC-V Assembler
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Parsing Protobuf Like Never Before
mcyoung.xyz·1d·
Discuss: Lobsters, Hacker News
🔧Binary Parsers
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
Gradual negation types and the Python type system
jellezijlstra.github.io·8h·
Discuss: Hacker News
🔬Refinement Types
Zig Interface Revisited
williamw520.github.io·22h·
Discuss: Hacker News
🧩WASM Components
Reflecting on PLDI 2025
people.csail.mit.edu·3d·
Discuss: Hacker News
🌐Protocol Synthesis
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·12h·
Discuss: Hacker News
🔗Concatenative Programming
Why We Develop EloqDB Mainly in C++
eloqdata.com·32m·
Discuss: Hacker News
🦀Rust Borrowing
Go interfaces and json.Unmarshal
fbrs.io·19h
🔧Binary Parsers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·6h·
Discuss: Hacker News
🏛Digital humanities